////////////////////////////////////////////////////////////////////////////////////////////////////////////////////////////////////////////////////////////////////////////////////////////////////////
// Copyright (c) Device Drivers, Ltd.  All rights reserved.
////////////////////////////////////////////////////////////////////////////////////////////////////////////////////////////////////////////////////////////////////////////////////////////////////////

#include <stdio.h>
#include <stdlib.h>
#include <unistd.h>
#include <ctype.h>
#include <fcntl.h>

void MFmain(int argc, char *ardv[]);

int main (int argc, char *argv[])
{
	printf("MFmain starting...\n");
	
	MFmain(argc, argv);
	
	printf("MFmain terminated.\n");
	
	return 0;
}
